alpha(identity): F[A]